Relaxation in Constraint Logic Languages

Optimization and relaxation are two important operations that naturally arise in many applications requiring the use of constraints, e.g., engineering design, scheduling, decision support, etc. In optimization , we are interested in nding the optimal solutions to a set of constraints with respect to an objective function. In many applications, optimal solutions may be diicult or impossible to obtain, and hence we are interested in nding suboptimal solutions, by either relaxing the constraints or relaxing the objective function. The contribution of this paper lies in providing a logical framework for performing optimization and relaxation in a constraint logic programming language. Our proposed framework is called preference logic programming (PLP), and its use for optimization was discussed in 4]. Essentially, in PLP we can designate certain predicates as optimization predicates, and we can specify the objective function by stating preference criteria for determing the optimal solutions to these predicates. This paper focuses on the use of PLP for relaxation. First we show how the paradigm of Hierarchical Constraint Logic Programming (HCLP) can be directly encoded in PLP, thereby showing how a large class of constraint relaxation problems can be expressed in PLP. Next we introduce the concept of a relaxable query, and discuss its use for preference relaxation. Our model-theoretic semantics of relaxation is based on simple concepts from modal logic: Essentially, each world in the possible-worlds semantics for a preference logic program is a model for the constraints of the program, and an ordering over these worlds is determined by the objective function. Optimization can then be expressed as truth in the optimal worlds, while relaxation becomes truth in suitably-deened suboptimal worlds. We also present an operational semantics for relaxation as well as correctness results. Our conclusion is that the concept of preference provides a unifying framework for formulating optimization as well as relaxation problems.